home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / LANG / PROLOG / BP330 / !BinPro330 / progs / lattice_wa < prev    next >
Text File  |  1993-09-10  |  497b  |  22 lines
  1. :-[lattice].
  2.  
  3. wam(0,[constant,deep,head]).
  4. wam(1,[deep,head,structure]).
  5. wam(2,[deep,head,value]).
  6. wam(3,[deep,head,variable]).
  7. wam(4,[body,constant,deep]).
  8. wam(5,[body,deep,structure]).
  9. wam(6,[body,deep,value]).
  10. wam(7,[body,deep,variable]).
  11. wam(8,[constant,head,top]).
  12. wam(9,[head,structure,top]).
  13. wam(10,[head,top,value]).
  14. wam(11,[head,top,variable]).
  15. wam(12,[body,constant,top]).
  16. wam(13,[body,structure,top]).
  17. wam(14,[body,top,value]).
  18. wam(15,[body,top,variable]).
  19.  
  20. lcontext(L,Rs):-wam(L,Rs).
  21.  
  22.